Inhalt des Dokuments
Publikationen
| Zitatschlüssel | DBLP:conf/tacas/BispingN19 |
|---|---|
| Autor | Benjamin Bisping and Uwe Nestmann |
| Buchtitel | Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS2019 |
| Seiten | 244–261 |
| Jahr | 2019 |
| DOI | 10.1007/978-3-030-17462-0_14 |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe